#	Mirrored Lens with dihedral angle 2π/24
#
#	The matrix entries live in the field Q[ξ], where
#	ξ = √(14 - 3√3) / 2 ≈ 1.48356... is a root
#	of the irreducible quartic polynomial 16ξ⁴ - 112ξ² + 169.
#	The specific matrix entries are
#
#		cos(2π/24) = ( -8ξ³ + 43ξ )/39 ≈ 0.9659...
#		sin(2π/24) = ( 4ξ³ - 2ξ )/39 ≈ 0.2588...

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.96592582628906828675 -0.25881904510252076235
  0.00000000000000000000  0.00000000000000000000 -0.25881904510252076235  0.96592582628906828675

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.96592582628906828675  0.25881904510252076235
  0.00000000000000000000  0.00000000000000000000  0.25881904510252076235  0.96592582628906828675
